filter2($P$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce2($\lambda$$x$,$i$,$l$. if $P$($i$)$\rightarrow$ $x$.$l$ else $l$ fi;nil;0;$L$)